logical connectives

【数学】逻辑连接符